100
12 13 15 16 e
3 12 15 17 e
1 12 13 16 e
1 12 15 17 e
1 3 12 17 e
3 12 13 16 e
3 15 16 17 e
3 9 12 13 e
1 8 15 16 e
11 12 16 17 e
12 15 16 17 e
1 3 15 16 e
1 12 16 17 e
8 12 15 17 e
1 8 9 15 e
1 8 12 15 e
8 11 15 16 e
1 8 11 16 e
8 11 12 17 e
1 8 12 17 e
9 12 15 17 e
1 12 13 15 17 e
2 12 15 17 e
0 8 12 15 e
1 8 11 12 e
1 3 16 17 e
3 12 16 17 e
1 9 12 17 e
1 2 12 17 e
3 8 15 16 e
0 1 8 12 e
8 12 13 15 e
0 1 12 13 15 e
1 11 12 13 17 e
1 11 13 15 17 e
3 8 15 17 e
3 9 12 15 e
8 11 12 16 e
8 11 12 15 e
3 8 12 15 e
3 8 11 12 e
1 3 13 15 17 e
8 12 15 16 e
0 1 11 13 15 e
3 9 11 12 e
1 2 15 16 e
0 1 3 13 15 e
8 9 12 15 e
11 12 13 15 17 e
3 12 15 16 e
8 9 11 12 e
1 8 12 16 e
3 8 9 15 e
1 12 13 15 16 e
3 7 12 17 e
3 9 12 17 e
1 3 11 13 17 e
0 1 3 11 13 e
3 12 13 15 17 e
1 3 8 17 e
0 3 12 13 15 e
0 1 11 12 13 e
0 3 11 13 15 e
0 12 15 16 e
11 13 15 16 17 e
1 9 12 13 15 e
1 3 13 15 16 e
3 11 12 16 e
1 9 12 15 e
0 11 12 13 15 e
1 8 9 12 e
3 11 13 15 17 e
3 8 11 16 e
0 3 8 12 e
1 3 8 12 e
12 15 17 18 e
1 10 12 15 e
0 3 11 12 13 e
1 11 13 15 16 e
3 11 12 13 17 e
1 9 11 13 15 e
10 11 15 16 e
0 1 12 16 e
1 3 8 15 e
3 11 13 15 16 e
1 3 9 13 15 e
1 11 12 13 16 e
1 3 8 16 e
11 12 13 15 16 e
1 3 11 13 16 e
3 8 12 16 e
3 9 11 13 15 e
9 11 12 13 15 e
1 9 11 12 13 e
3 12 13 15 16 e
1 3 12 13 17 e
1 3 9 11 13 e
3 11 12 13 16 e
1 3 12 13 15 e
0 1 3 12 13 e
